(cl-text Support1
(cl-comment "SUPPORT
			All abstract super classes")
(forall (c1 c2) (iff (form:general-abstract c1 c2) 
		 	 (or 
				 (and
 				 	(buml:general c1 c2)
					(cbuml:isAbstract c2 form:true))
	                         (exists (c15)
                        			(and (buml:general c1 c15)
						 			     (form:general-abstract c15 c2)
                          			)    
                        )
                 )))
)

(cl-text Support2
(cl-comment "SUPPORT
			All super classes ownedAttribute, without ports")
(forall (c1 a) (iff (form:owned-attribute-general-visible c1 a) 
		 	 (or 
		 	 	 (and
				 (buml:ownedAttribute c1 a)
				 (not (cbuml:Port a))
				 (cbuml:visibility a cbuml:public))
                 (exists (c15)
               			(and (buml:general c1 c15)
		 			         (form:owned-attribute-general-visible c15 a)
                          	)    
                        )
                 )))                 
)                 

(cl-text Support3
(cl-comment "SUPPORT
			All super classes ownedOperation")
(forall (c1 a) (iff (form:owned-operation-general-visible c1 a) 
		 	 (or 
		 	 	 (and
				 (cbuml:ownedOperation c1 a)
				 (cbuml:visibility a cbuml:public))
                 (exists (c15)
               			(and (buml:general c1 c15)
		 			         (form:owned-operation-general-visible c15 a)
                          	)    
                        )
                 )))                 
)                 

(cl-text Support4
(cl-comment "SUPPORT
			All super classes ownedReception")
(forall (c1 a) (iff (form:owned-reception-general c1 a) 
		 	 (or 
		 	 	 (cbuml:ownedReception c1 a)
                 (exists (c15)
               			(and (buml:general c1 c15)
		 			         (form:owned-reception-general c15 a)
                          	)    
                        )
                 )))                 
)